"Gilles Barthe" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

3.31 Mb

#2

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

5.45 Mb

#3

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Gilles Barthe

5.25 Mb

#4

Security and Trust Management - STM 2010

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

4.56 Mb

#5

Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science)

Gilles Barthe, Alberto Pardo, Gerardo Schneider (Editors)

8.66 Mb

#6

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Категория: CsLn_

4.02 Mb

#7

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

7.55 Mb

#8

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

4.07 Mb

#9

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

3.23 Mb

#10

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005,

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

2.20 Mb

#11

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Gilles Barthe, Frank S. de Boer

2.74 Mb